package il.ac.technion.cs236700.utils.annotations;

import java.lang.annotation.ElementType;
import java.lang.annotation.Target;

//This annotation annotates methods which are getters.

@Target(ElementType.METHOD)
public @interface Getter {
	boolean Defensive() default false;
}
